$\forall$$L$:Realizer List. $\oplus$($L$) $\in$ Realizer